525 research outputs found

    Investigating the effects of particle shape on normal compression and overconsolidation using DEM

    Get PDF
    Discrete element modelling of normal compression has been simulated on a sample of breakable two-ball clumps and compared to that of spheres. In both cases the size effect on strength is assumed to be that of real silica sand. The slopes of the normal compression lines are compared and found to be consistent with the proposed equation of the normal compression line. The values of the coefficient of earth pressure at rest K0,nc are also compared and related to the critical state fiction angles for the two materials. The breakable samples have then been unloaded to establish the stress ratios on unloading. At low overconsolidation ratios the values of K0 follow a well-established empirical relationship and realistic Poisson ratios are observed. On progressive unloading both samples head towards passive failure, and the values of the critical state lines in extension in q–p' space are found to be consistent with the critical state angles deduced from the values of K0 during normal compression. The paper highlights the important role of particle shape in governing the stress ratio during both normal compression and subsequent overconsolidation

    Integrating a Global Induction Mechanism into a Sequent Calculus

    Full text link
    Most interesting proofs in mathematics contain an inductive argument which requires an extension of the LK-calculus to formalize. The most commonly used calculi for induction contain a separate rule or axiom which reduces the valid proof theoretic properties of the calculus. To the best of our knowledge, there are no such calculi which allow cut-elimination to a normal form with the subformula property, i.e. every formula occurring in the proof is a subformula of the end sequent. Proof schemata are a variant of LK-proofs able to simulate induction by linking proofs together. There exists a schematic normal form which has comparable proof theoretic behaviour to normal forms with the subformula property. However, a calculus for the construction of proof schemata does not exist. In this paper, we introduce a calculus for proof schemata and prove soundness and completeness with respect to a fragment of the inductive arguments formalizable in Peano arithmetic.Comment: 16 page

    ERP evidence suggests executive dysfunction in ecstasy polydrug users

    Get PDF
    Background: Deficits in executive functions such as access to semantic/long-term memory have been shown in ecstasy users in previous research. Equally, there have been many reports of equivocal findings in this area. The current study sought to further investigate behavioural and electro-physiological measures of this executive function in ecstasy users. Method: Twenty ecstasy–polydrug users, 20 non-ecstasy–polydrug users and 20 drug-naïve controls were recruited. Participants completed background questionnaires about their drug use, sleep quality, fluid intelligence and mood state. Each individual also completed a semantic retrieval task whilst 64 channel Electroencephalography (EEG) measures were recorded. Results: Analysis of Variance (ANOVA) revealed no between-group differences in behavioural performance on the task. Mixed ANOVA on event-related potential (ERP) components P2, N2 and P3 revealed significant between-group differences in the N2 component. Subsequent exploratory univariate ANOVAs on the N2 component revealed marginally significant between-group differences, generally showing greater negativity at occipito-parietal electrodes in ecstasy users compared to drug-naïve controls. Despite absence of behavioural differences, differences in N2 magnitude are evidence of abnormal executive functioning in ecstasy–polydrug users

    Trends over 5 Decades in U.S. Occupation-Related Physical Activity and Their Associations with Obesity

    Get PDF
    BACKGROUND: The true causes of the obesity epidemic are not well understood and there are few longitudinal population-based data published examining this issue. The objective of this analysis was to examine trends in occupational physical activity during the past 5 decades and explore how these trends relate to concurrent changes in body weight in the U.S. METHODOLOGY/PRINCIPAL FINDINGS: Analysis of energy expenditure for occupations in U.S. private industry since 1960 using data from the U.S. Bureau of Labor Statistics. Mean body weight was derived from the U.S. National Health and Nutrition Examination Surveys (NHANES). In the early 1960's almost half the jobs in private industry in the U.S. required at least moderate intensity physical activity whereas now less than 20% demand this level of energy expenditure. Since 1960 the estimated mean daily energy expenditure due to work related physical activity has dropped by more than 100 calories in both women and men. Energy balance model predicted weights based on change in occupation-related daily energy expenditure since 1960 for each NHANES examination period closely matched the actual change in weight for 40-50 year old men and women. For example from 1960-62 to 2003-06 we estimated that the occupation-related daily energy expenditure decreased by 142 calories in men. Given a baseline weight of 76.9 kg in 1960-02, we estimated that a 142 calories reduction would result in an increase in mean weight to 89.7 kg, which closely matched the mean NHANES weight of 91.8 kg in 2003-06. The results were similar for women. CONCLUSION: Over the last 50 years in the U.S. we estimate that daily occupation-related energy expenditure has decreased by more than 100 calories, and this reduction in energy expenditure accounts for a significant portion of the increase in mean U.S. body weights for women and men

    Unusual association of alveolar rhabdomyosarcoma with pancreatic metastasis: emerging role of PET-CT in tumor staging

    Get PDF
    Pancreatic metastases in childhood cancer have been rarely reported in the radiology literature although ample evidence exists in pathology reports for its occurrence in patients with alveolar rhabdomyosarcomas (RMS). Assess the occurrence of pancreatic metastases in alveolar rhabdomyosarcomas, increase awareness of this association and reassess current staging protocols. Three major oncology centers reviewed their records and imaging examinations. Patients’ history and demographics, primary tumor site and histology, presence of tumor recurrence, and presence and location of other metastases were reviewed. Pancreatic metastases occurred in eight patients with alveolar RMS. Four of these presented at diagnosis and four with disease recurrence. In recurrent disease, the duration between the diagnosis of the primary tumor and pancreatic metastases varied from 8 months to 6 years (mean ± SD: 2.38 ± 2.49 years). In all patients who received PET scans, pancreatic metastases showed a marked FDG-uptake, but had variable detectability with CT. Pancreatic metastases were not associated with certain primary tumor locations or presence of other metastases, mandating an evaluation of the pancreas in all cases of alveolar rhabdomyosarcomas. Radiologists should be sensitized and actively evaluate the pancreas in patients with alveolar RMS. Optimizing CT and PET-CT protocols may increase the diagnostic yield

    Impacts of climate change on plant diseases – opinions and trends

    Get PDF
    There has been a remarkable scientific output on the topic of how climate change is likely to affect plant diseases in the coming decades. This review addresses the need for review of this burgeoning literature by summarizing opinions of previous reviews and trends in recent studies on the impacts of climate change on plant health. Sudden Oak Death is used as an introductory case study: Californian forests could become even more susceptible to this emerging plant disease, if spring precipitations will be accompanied by warmer temperatures, although climate shifts may also affect the current synchronicity between host cambium activity and pathogen colonization rate. A summary of observed and predicted climate changes, as well as of direct effects of climate change on pathosystems, is provided. Prediction and management of climate change effects on plant health are complicated by indirect effects and the interactions with global change drivers. Uncertainty in models of plant disease development under climate change calls for a diversity of management strategies, from more participatory approaches to interdisciplinary science. Involvement of stakeholders and scientists from outside plant pathology shows the importance of trade-offs, for example in the land-sharing vs. sparing debate. Further research is needed on climate change and plant health in mountain, boreal, Mediterranean and tropical regions, with multiple climate change factors and scenarios (including our responses to it, e.g. the assisted migration of plants), in relation to endophytes, viruses and mycorrhiza, using long-term and large-scale datasets and considering various plant disease control methods

    Dealing with heterogeneity of treatment effects: is the literature up to the challenge?

    Get PDF
    <p>Abstract</p> <p>Background</p> <p>Some patients will experience more or less benefit from treatment than the averages reported from clinical trials; such variation in therapeutic outcome is termed heterogeneity of treatment effects (HTE). Identifying HTE is necessary to individualize treatment. The degree to which heterogeneity is sought and analyzed correctly in the general medical literature is unknown. We undertook this literature sample to track the use of HTE analyses over time, examine the appropriateness of the statistical methods used, and explore the predictors of such analyses.</p> <p>Methods</p> <p>Articles were selected through a probability sample of randomized controlled trials (RCTs) published in <it>Annals of Internal Medicine</it>, <it>BMJ</it>, <it>JAMA</it>, <it>The Lancet</it>, and <it>NEJM </it>during odd numbered months of 1994, 1999, and 2004. RCTs were independently reviewed and coded by two abstractors, with adjudication by a third. Studies were classified as reporting: (1) HTE analysis, utilizing a formal test for heterogeneity or treatment-by-covariate interaction, (2) subgroup analysis only, involving no formal test for heterogeneity or interaction; or (3) neither. Chi-square tests and multiple logistic regression were used to identify variables associated with HTE reporting.</p> <p>Results</p> <p>319 studies were included. Ninety-two (29%) reported HTE analysis; another 88 (28%) reported subgroup analysis only, without examining HTE formally. Major covariates examined included individual risk factors associated with prognosis, responsiveness to treatment, or vulnerability to adverse effects of treatment (56%); gender (30%); age (29%); study site or center (29%); and race/ethnicity (7%). Journal of publication and sample size were significant independent predictors of HTE analysis (p < 0.05 and p < 0.001, respectively).</p> <p>Conclusion</p> <p>HTE is frequently ignored or incorrectly analyzed. An iterative process of exploratory analysis followed by confirmatory HTE analysis will generate the data needed to facilitate an individualized approach to evidence-based medicine.</p

    Repair of Acute Respiratory Distress Syndrome in COVID-19 by Stromal Cells (REALIST-COVID Trial):A Multicentre, Randomised, Controlled Trial

    Get PDF
    RationaleMesenchymal stromal cells (MSCs) may modulate inflammation, promoting repair in COVID-19-related Acute Respiratory Distress Syndrome (ARDS).ObjectivesWe investigated safety and efficacy of ORBCEL-C (CD362-enriched, umbilical cord-derived MSCs) in COVID-related ARDS.MethodsThis multicentre, randomised, double-blind, allocation concealed, placebo-controlled trial (NCT03042143) randomised patients with moderate-to-severe COVID-related ARDS to receive ORBCEL-C (400million cells) or placebo (Plasma-Lyte148).MeasurementsThe primary safety and efficacy outcomes were incidence of serious adverse events and oxygenation index at day 7 respectively. Secondary outcomes included respiratory compliance, driving pressure, PaO2/FiO2 ratio and SOFA score. Clinical outcomes relating to duration of ventilation, length of intensive care unit and hospital stays, and mortality were collected. Long-term follow up included diagnosis of interstitial lung disease at 1 year, and significant medical events and mortality at 2 years. Transcriptomic analysis was performed on whole blood at day 0, 4 and 7.Main results60 participants were recruited (final analysis n=30 ORBCEL-C, n=29 placebo: 1 in placebo group withdrew consent). 6 serious adverse events occurred in the ORBCEL-C and 3 in the placebo group, RR 2.9(0.6-13.2)p=0.25. Day 7 mean[SD] oxygenation index did not differ (ORBCEL-C 98.357.2], placebo 96.667.3). There were no differences in secondary surrogate outcomes, nor mortality at day 28, day 90, 1 or 2 years. There was no difference in prevalence of interstitial lung disease at 1year nor significant medical events up to 2 years. ORBCEL-C modulated the peripheral blood transcriptome.ConclusionORBCEL-C MSCs were safe in moderate-to-severe COVID-related ARDS, but did not improve surrogates of pulmonary organ dysfunction. Clinical trial registration available at www.Clinicaltrialsgov, ID: NCT03042143. This article is open access and distributed under the terms of the Creative Commons Attribution 4.0 International License (https://creativecommons.org/licenses/by/4.0/)

    Does Father Know Best? A Formal Model of the Paternal Influence on Childhood Social Anxiety

    Get PDF
    We explore paternal social anxiety as a specific risk factor for childhood social anxiety in a rational optimization model. In the course of human evolution, fathers specialized in external protection (e.g., confronting the external world) while mothers specialized in internal protection (e.g., providing comfort and food). Thus, children may instinctively be more influenced by the information signaled by paternal versus maternal behavior with respect to potential external threats. As a result, if fathers exhibit social anxiety, children interpret it as a strong negative signal about the external social world and rationally adjust their beliefs, thus becoming stressed. Under the assumption that paternal signals on social threats are more influential, a rational cognitive inference leads children of socially anxious fathers to develop social anxiety, unlike children of socially anxious mothers. We show in the model that mothers cannot easily compensate for anxious paternal behavior, but choose to increase maternal care to maintain the child’s wellbeing. We discuss research directions to test the proposed model as well as implications for the prevention and treatment of child social anxiety
    corecore